Search Results

Documents authored by Choppy, Christine

Document
Complete Volume
DOI: 10.4230/OASIcs.FSFMA.2013
OASIcs, Volume 31, FSFMA'13, Complete Volume

Authors: Christine Choppy and Jun Sun

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

Abstract
OASIcs, Volume 31, FSFMA'13, Complete Volume
Cite as

1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Proceedings{choppy_et_al:OASIcs.FSFMA.2013,
  title =	{{OASIcs, Volume 31, FSFMA'13, Complete Volume}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013},
  URN =		{urn:nbn:de:0030-drops-41281},
  doi =		{10.4230/OASIcs.FSFMA.2013},
  annote =	{Keywords: Formal methods}
}
Document
Front Matter
DOI: 10.4230/OASIcs.FSFMA.2013.i
Frontmatter, Table of Contents, Preface, Workshop Organization

Authors: Christine Choppy and Jun Sun

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

Abstract
Frontmatter, Table of Contents, Preface, Workshop Organization
Cite as

1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. i-xiii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{choppy_et_al:OASIcs.FSFMA.2013.i,
  author =	{Choppy, Christine and Sun, Jun},
  title =	{{Frontmatter, Table of Contents, Preface, Workshop Organization}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{i--xiii},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.i},
  URN =		{urn:nbn:de:0030-drops-40819},
  doi =		{10.4230/OASIcs.FSFMA.2013.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization}
}
Document
DOI: 10.4230/OASIcs.FSFMA.2013.86
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns

Authors: Patrice Carle, Christine Choppy, Romain Kervarc, and Ariane Piel

Published in: OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)

Abstract
This work deals with data analysis issues in an aeronautics context by using a formal framework relying on activity recognition techniques which are applied to the certification and safety analysis processes of Unmanned Aircraft Systems in breakdown situations. In this paper, the behaviour of these systems is modelled, simulated and studied in case of multiple failures using a complex event processing language called chronicles to describe which combinations of events in time may lead to safety breaches, and a C++ chronicle recognition library is used to implement this method.
Cite as

Patrice Carle, Christine Choppy, Romain Kervarc, and Ariane Piel. Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. 86-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{carle_et_al:OASIcs.FSFMA.2013.86,
  author =	{Carle, Patrice and Choppy, Christine and Kervarc, Romain and Piel, Ariane},
  title =	{{Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{86--91},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Choppy, Christine and Sun, Jun},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.86},
  URN =		{urn:nbn:de:0030-drops-40935},
  doi =		{10.4230/OASIcs.FSFMA.2013.86},
  annote =	{Keywords: complex event processing, safety, aeronautics, multiple breakdowns, behaviour recognition tool}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact